package kodkod.engine.satlab;

/**
 * Solvers that implement methods to influence their variable ordering
 * 
 * @author Markus Iser
 */
public interface OrderableSolver {
	/**
	 * Initialize solver-internal variable ordering
	 */
	void initializeOrder(int var, double order);
	/**
	 * Statically override solver-internal variable ordering
	 */
	void overrideOrder(int var, int order);
}
